Typed Set Theory (TST)